101. Automated deduction - A Basis for applications
پدیدآورنده: edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
102. Automatic program development :
پدیدآورنده: edited by Olivier Danvy [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
رده :
QA402
.
5
.
A88
2008eb
103. BONUS algorithm for large scale stochastic nonlinear programming problems /
پدیدآورنده: Urmila Diwekar, Amy David
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Stochastic programming.,Algorithms.,Mathematics.,Stochastic Processes.
رده :
T57
.
79
104. Beginning math and physics for game programmers
پدیدآورنده: / Wendy Stahler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science- Mathematics,Computer games- Programming,Physics- Data processing
رده :
QA76
.
9
.
M35
,
S73
2004
105. Beginning math concepts for game developers /
پدیدآورنده: John P. Flynt, Boris Meltreger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Calculus.,Computer games-- Programming-- Mathematics.,Video games-- Design.,Calculus.,GAMES-- Video & Electronic.,Video games-- Design.
رده :
QA76
.
76
.
C672
F589
2007eb
106. Bidirectional transformations :
پدیدآورنده: Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
107. BigNum mat
پدیدآورنده: / Tom St. Denis, Greg Rose
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming (Mathematics),Computer security.
رده :
QA
,
402
.
5
,.
S114
,
2006eb
108. BigNum math :
پدیدآورنده: Tom St. Denis, Greg Rose
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security,Programming (Mathematics)
109. BigNum math :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming (Mathematics) ;
110. BigNum math
پدیدآورنده: / Tom St. Denis, Greg Rose
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Programming (Mathematics),Computer security,Electronic books. , lcsh
رده :
E-BOOK
111. Bilevel programming problems
پدیدآورنده: Stephan Dempe ...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematical optimization,، Programming )Mathematics(
رده :
TP
57
.
7
.
B52
2015
112. Bilevel programming problems
پدیدآورنده: / Stephan Dempe, Vyacheslav Kalashnikov, Gerardo A. Paerez-Valdaes, Nataliya Kalashnykova
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Programming (Mathematics),Mathematical optimization
رده :
T57
.
7
.
D46
2015
113. Bilevel programming problems
پدیدآورنده: / Stephan Dempe ... [et al.]
کتابخانه: کتابخانه تخصصی کارآفرینی (دانشگاه تهران) (تهران)
موضوع: Mathematical optimization,Programming (Mathematics)
رده :
T
57
.
7
.
D45
2015
114. Biomedical digital signal processing: C-language examples and laboratory experiments for the IBM P C
پدیدآورنده : Willis J. Tompkins
موضوع : Signal processing -- Digital techniques,Computers i medicine,Digital filters (mathematics),C (Computer program language),Biomedical engineering,Signal processing, Computer assisted,Programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
115. Box2d for Flash games
پدیدآورنده: Emanuele Feronato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer animation-- Mathematics,Computer games-- Programming,Physics-- Data processing
رده :
QA76
.
76
.
C672
P36
2012
116. Building Custom Tasks for SQL Server Integration Services: The Power of .NET for ETL for SQL Server 2019 and Beyond
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Management ; COMPUTERS / General ; COMPUTERS / Programming / Microsoft ; Mathematics ; &COMPUTERS / Database Administration
117. Building and Solving Mathematical Programming Models in Engineering and Science
پدیدآورنده: \ Enrique Castillo...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: programming (Mathematics),Engineering models,برنامه‌نویسی (ریاضیات),الگوهای مهندسی ,a03,a04,a03,a04
رده :
E-Book
,
118. #Building and solving mathematical programming models in engineering
پدیدآورنده: #Enrique Castillo ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming )Mathematics( ،Engineering models
رده :
#
T
،#.
B85
119. Building and solving mathematical programming models in engineering and science /
پدیدآورنده: Enrique Castillo [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering models,Programming (Mathematics)
رده :
T57
.
7
.
B85
2001
120. Building and solving mathematical programming models in engineering and science
پدیدآورنده: Enrique Castillo ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming )Mathematics(,، Engineering models
رده :
T
57
.
7
.
B85
2002
